Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Реферативна база даних (13) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Melnyk K$<.>) | ||||
|
Загальна кількість знайдених документів : 22 Представлено документи з 1 до 20 |
||||
| ||||
| 1. | 
Zhiteckii L. S. Design of digital longitudinal autopilots based on l1-optimization approach [Електронний ресурс] / L. S. Zhiteckii, K. V. Melnyk, A. Yu. Pilchevsky, I. R. Kvasha // Electronics and control systems. - 2014. - № 4. - С. 70-78. - Режим доступу: http://nbuv.gov.ua/UJRN/etsu_2014_4_15 This paper deals with the l | |||
| 2. | 
Melnyk V. High production of Java sockets (HPJS) for helth clouds in science [Електронний ресурс] / V. Melnyk, O. Zhyharevych, K. Melnyk // Proсeedings of the National Aviation University. - 2015. - № 3. - С. 120-125. - Режим доступу: http://nbuv.gov.ua/UJRN/Vnau_2015_3_22 Комп'ютерні нагромадження даних використовуються в області охорони здоров'я для зберігання даних осіб, їх маніпуляції і забезпечення потреб безпечного обміну. Характер розподілу подібних нагромаджень даних може бути розроблений для застосування в наукових додатках, які розроблені для формування оцінки даних охорони здоров'я. Такі наукові програми як медична візуалізація, генетичні і протеїнові заключення, лікувально-профілактична терапія та клінічні системи підтримки прийняття рішень (CDSS) вимагають бібліотек швидкого обміну повідомленнями з мінімальними комп'ютерними і комунікаційними затратами та ефективним розшаруванням ресурсів. Високопродуктивні Java-сокети (HPJS) інкапсулюють потреби високопродуктивного обміну повідомленнями між науковими додатками для cloud-платформ та ефективно використовують Java-сокетну реалізацію для утворення високоефективного зв'язку між процесами. З єдиною копією протоколу при повторному використанні ниток та зменшенні накладних витрат зв'язку високопродуктивні Java-сокети можуть виконувати обмін повідомленнями в два рази швидше із звичайними буферизованими бібліотеками зв'язку. | |||
| 3. |
Melnyk V. Static Analysis of Source Code Modeled for Java-Programs Containing Applications with Android Security [Електронний ресурс] / V. Melnyk, K. Melnyk, O. Zhyharevych // Proсeedings of the National Aviation University. - 2015. - № 2. - С. 46-53. - Режим доступу: http://nbuv.gov.ua/UJRN/Vnau_2015_2_9 Здійснено поєднання методів статичного аналізу з моделлю дедуктивної перевірки й використанням рішень теорії статичної моделі (ТСМ) для створення основи, яка, враховуючи аспект аналізу вихідного коду, автоматично створюється за допомогою аналізатора, котрий виводить кінцеву інформацію про цей аспект. Аналізатор генерується шляхом перекладу програми для збору семантики з метою викладення формул в першому наближенні на основі кількох представлених теорій. Оскільки програма здійснює імпорт пакетів і використовує класові методи цих пакетів, вона імпортує семантику викликів API в наближенні першого порядку. Аналізатор, використовуючи ці наближення як моделі та їх формули першого порядку, залучає поведінку специфікації (його негативність) описаної програми. Рішення SMT-LIB формул розглядається як комбінована формула для того, щоб їх "обмежувати" та "розв'язувати". Форма "розв'язку" може використовуватися для ідентифікації логічних помилок (безпеки) Java-програм на базі Android. Властивості безпеки Android представлено як обмежувальні аналітичні цілі, щоб показати важливість цих обмежень. | |||
| 4. | 
Melnyk V. Implementation of the simplified communication mechanism in the cloud of high performance computations [Електронний ресурс] / V. Melnyk, N. Bahnyuk, K. Melnyk, O. Zhyharevych, N. Panasyuk // Восточно-Европейский журнал передовых технологий. - 2017. - № 2(2). - С. 24-32. - Режим доступу: http://nbuv.gov.ua/UJRN/Vejpte_2017_2(2)__4 Запропоновано створення та реалізацію механізму спрощеної комунікації (МСК) для віртуального кластера в високопродуктивному cloud'i, який є бінарно сумісним для додатків зі стандартним сокетним інтерфейсом. МСК реалізовано на базі Xen 3.2 та ядра Linux 2.6.18. і є процесом, подібним для сокетів UNIX DOMAIN. | |||
| 5. | 
Lipych L. G. Identificating subject of the operational control [Електронний ресурс] / L. G. Lipych, K. P. Melnyk, T. O. Shmatkovska, N. M. Matviichuk // Фінансово-кредитна діяльність: проблеми теорії та практики. - 2017. - Вип. 1. - С. 142- 150. - Режим доступу: http://nbuv.gov.ua/UJRN/Fkd_2017_1_21 | |||
| 6. | 
Melnyk K. V. The improvement of economic efficiency forecast evaluation methods for ore minerals mining [Електронний ресурс] / K. V. Melnyk // Науковий вісник Національного гірничого університету. - 2017. - № 5. - С. 146-151. - Режим доступу: http://nbuv.gov.ua/UJRN/Nvngu_2017_5_23 Purpose. The improvement of methods for evaluating expected economic efficiency of investment in ore minerals mining. Methodology. The research is based on the use of the following methods: scientific generalization while formulating objectives and general conclusions; systematization, grouping and comparison models of the investment discount rate; abstraction, analysis and synthesis to disclose methodological approaches to improvement of economic efficiency forecast evaluation of ore minerals mining investment. Findings. It is defined that the forecast of the effectiveness of ore minerals mining should be based on identifying and evaluating investment return discounted indicators. However, it is necessary to consider the features of the mining enterprises' investment process. Improved methods of investment return discounted indicators calculation in mining industry are suggested. Originality. Improvement of the methods for economic efficiency forecast is as follows: the cash flows arising from the development of mineral resources must be adjusted by the amount of cash flows related to the extraction of associated minerals; inclusion of the amount of depreciation to incoming cash flows is advisable after the appearance of cash receipts from selling the main and related products of mining companies; it is necessary to determine the amount of the mining investment risk premium using the special integral indicator. Practical value. The proposed methodical approach will determine further appropriateness of ore minerals mining with the introduction of innovative technologies. It will provide reduction of the costs and increase in volumes of manufacturing mining products. | |||
| 7. | 
Melnyk K. S. Hygienic assessment of the actual consumption of micronutrients by international students from India [Електронний ресурс] / K. S. Melnyk // Проблеми екології та медицини. - 2017. - Т. 21, № 1-2. - С. 49-53. - Режим доступу: http://nbuv.gov.ua/UJRN/petm_2017_21_1-2_15 | |||
| 8. | 
Malyovanyi M. Assessment of the social expenditure impact on the economic growth in OECD countries [Електронний ресурс] / M. Malyovanyi, N. Ivanova, K. Melnyk, O. Nepochatenko, O. Rolinskyi // Problems and perspectives in management. - 2018. - Vol. 16, Iss. 3. - С. 389-405. - Режим доступу: http://nbuv.gov.ua/UJRN/prperman_2018_16_3_33 | |||
| 9. | 
Melnyk K. Yu. Economic and legal analysis of premiums and increments to staff [Електронний ресурс] / K. Yu. Melnyk, F. A. Tsesarsky, O. V. Seletskyi // Науковий вісник Полісся. - 2018. - № 2(1). - С. 232-241. - Режим доступу: http://nbuv.gov.ua/UJRN/nvp_2018_2(1)__33 Невід'ємною складовою змінної частини заробітної плати є доплати і надбавки, які виплачуються за трудові успіхи та винахідливість і за особливі умови праці. За цільовим призначенням їх варто розглядати в якості компенсаційних та стимулюючих виплат. | |||
| 10. | 
Melnyk K. V. Improving the quality of credit activity by using scoring model [Електронний ресурс] / K. V. Melnyk, N. V. Borysova // Радіоелектроніка, інформатика, управління. - 2019. - № 2. - С. 60-70. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2019_2_9 Розглянуто проблему оцінки кредитоспроможності клієнта. Вона являє собою одночасну обробку даних кредитора різної природи з подальшим визначенням кредитного рейтингу. Об'єкт дослідження - процес кредитування фізичних осіб кредитними установами. Мета роботи - дослідження процесу підвищення якості кредитної діяльності за рахунок розробки і використання скорингової моделі. Проведено аналітичний огляд предметної області. Розроблено модель бізнес-процесу оцінювання кредитоспроможності клієнтів у вигляді IDEF0 діаграми. Виділені групи показників, які характеризують потенційного кредитора з різних боків. Обрані набори значень для кожного показника кредитоспроможності окремо. Проаналізовано методи вирішення задачі оцінки кредитоспроможності клієнтів. Обрано наївний класифікатор Байєсу як метод вирішення задачі класифікації потенційних кредиторів. Проаналізовано існуючі інформаційні системи для оцінки кредитоспроможності клієнтів. Розроблено скорингову модель оцінки кредитного рейтингу клієнту у вигляді алгоритму. Визначено перелік функціональних можливостей інформаційної системи, які представлено у вигляді діаграми варіантів використання. Запропоновано трирівневу архітектуру для інформаційної системи. Розроблено модель бази даних для збереження інформації щодо клієнтів. Розроблено інформаційну систему для визначення кредитного рейтингу клієнту на основі використання розробленої скорингової моделі. Проведено чисельні дослідження визначення класу потенційного кредитора. Проаналізовано процес визначення якості кредитної діяльності. Обрано показники якості визначення оцінки кредитоспроможності клієнтів. Запропоновано спосіб розрахунку якості кредитної діяльності. Розроблено скорингову модель, яка була використана при вирішенні оцінки кредитоспроможності клієнтів за допомогою запропонованої інформаційної системи. Досліджено процес підвищення якості оцінки кредитного рейтингу. Висновки: проведені експерименти підтвердили значимість запропонованої скорингової моделі та дозволяють рекомендувати її для використання на практиці для аналізу процесу кредитоспроможності клієнтів. Наукова новизна полягає в удосконаленні процесу кредитної діяльності за рахунок автоматизації використання наївного класифікатора Байєсу, що дозволяє зменшити людський фактор при прийнятті рішень. | |||
| 11. | 
Melnyk K. Development of liquid-in-tube microthermometers [Електронний ресурс] / K. Melnyk, S. Yatsyshyn // Вимірювальна техніка та метрологія . - 2018. - Т. 79, Вип. 4. - С. 34-38. - Режим доступу: http://nbuv.gov.ua/UJRN/metrolog_2018_79_4_8 Існує низка проблем, які повинна вирішити мікро- та нанотермометрія, щоб забезпечити подальший прогрес і промислове освоєння виробництва та застосування мікрооб'єктів. Найпершою з них вважається визначення підстав застосування до цих об'єктів поняття "температура" подібно до того, як воно застосовується до макрооб'єктів. Наступною проблемою є оцінювання змін температури контрольованого об'єкта внаслідок акту термометрування, причому незалежно від застосування контактних чи безконтактних методів. Проведено дослідження на основі оптимізації основного рівняння стану термодинаміки в мікро- та нанообластях. Внаслідок його розв'язання встановлено термодинамічні фактори, що визначають метрологічну характеристику рідинних мікро- та нанотермометрів, а також встановлено чинники впливу. З'ясовано, як і наскільки змінюються термометричні характеристики рідинних термометрів у міру зменшення їхніх лінійних розмірів із переходом у мікро- і надалі у нанообласть. Показано, що термометрична характеристика кардинально змінюється зі зменшенням лінійних розмірів, оскільки переважною термодинамічною силою, що визначає чутливість до температури, стає сила поверхневого натягу. Разом із тим, важливим є фактор співрозмірності контрольованого об'єкта та термометра, проектованого та застосовуваного для вимірювань. Цей фактор визначає методичну похибку вимірювання температури розглянутим термометром. Остання стає доволі значною за умови термометрування об'єкта, співвимірного за об'ємно-теплофізичними властивостями з термометром. Для мікро- та нанотехнологій питання створення нанотермометрів набуває визначального значення, позаяк мінімізація методичної похибки до рівня, нижчого від 1 %, означає, що розміри разом із теплоємністю та питомою вагою термометра повинні бути на порядок меншими за відповідні параметри контрольованого об'єкта. | |||
| 12. |
Melnyk V. Influence of the direct message search mechanism based on the TCP protocols on the exchange process [Електронний ресурс] / V. Melnyk, K. Melnyk, S. Lavrenchuk, I. Burchak, O. Kaganiuk // Восточно-Европейский журнал передовых технологий. - 2019. - № 3(2). - С. 36-42. - Режим доступу: http://nbuv.gov.ua/UJRN/Vejpte_2019_3(2)__5 Реалізовано механізм прямого пошуку з розширенням традиційного сокетного TCP-інтерфейсу для отримання повідомлень, обходячи традиційний порядок встановленої черги. Даний механізм може застосовуватись для високопродуктивних і кластерних комп'ютерних систем з метою інтенсифікації обміну даними та неперервності підтримки максимального навантаження на обчислювальні машини. Інтерфейс для прямого пошуку повідомлень реалізований на базі ядра операційної системи Linux. Отримання експериментальних результатів тестування здійснено за допомогою простого набору microbenchmark-міток. В ході тестування відправник надсилає необхідне число повідомлень сталого розміру на встановлене з'єднання, а приймач пропускає неочікувані повідомлення і зчитує очікувані повідомлення в простір користувача. Спосіб відшукання очікуваних повідомлень реалізовано завдяки багаторазовому пошуку для випадку, коли сокетний додаток розглядає TCP-сокет як список повідомлень із можливістю приймати та видаляти дані не тільки з вершини, але з будь-якого місця в сокетному буфері. Всі очікувані повідомлення розпізнаються й обробляються розробленим викликом seek_recv(). Кожен тест містить ~ 80 повторень, які включають операції відкриття сокета, пересилання 800 - 1000 повідомлень відповідно до політики прийому та закриття сокета. Система використовує тільки один активний сокет в один і той же час. Отримані результати доводять помітне зниження процесорного часу обробки повідомлень на 36 - 40 % і загальне зростання продуктивності. Однак, за наближення до об'єму повідомлень 1000 байт, близького до характерного розміру корисного завантаження TCP-пакета, спостерігається падіння продуктивності процесу обміну. | |||
| 13. | 
Melnyk K. Transformation of audit procedures in a context of decentralization [Електронний ресурс] / K. Melnyk // Економічний часопис Східноєвропейського національного університету імені Лесі Українки. - 2019. - № 3. - С. 143-148. - Режим доступу: http://nbuv.gov.ua/UJRN/echcenu_2019_3_20 | |||
| 14. | 
Melnyk V. Android-built code generation modelling for heterogeneous architecture [Електронний ресурс] / V. Melnyk, K. Melnyk, N. Bagniuk, S. Hryniuk // Комп'ютерно-інтегровані технології: освіта, наука, виробництво. - 2017. - № 26. - С. 131-137. - Режим доступу: http://nbuv.gov.ua/UJRN/Kitonv_2017_26_25 | |||
| 15. |
Maksymovych O. V. Audio player with a library of Delphi [Електронний ресурс] / O. V. Maksymovych, K. V. Melnyk, V. M. Melnyk, O. S. Gaday // Комп'ютерно-інтегровані технології: освіта, наука, виробництво. - 2015. - № 21. - С. 21-24. - Режим доступу: http://nbuv.gov.ua/UJRN/Kitonv_2015_21_4 | |||
| 16. |
Melnyk V. M. Significance of the socket programming for the laboratory with intensive data communications [Електронний ресурс] / V. M. Melnyk, P. A. Pekh, K. V. Melnyk, O. K. Zhyharevych // Комп'ютерно-інтегровані технології: освіта, наука, виробництво. - 2015. - № 20. - С. 67-71. - Режим доступу: http://nbuv.gov.ua/UJRN/Kitonv_2015_20_13 | |||
| 17. |
Melnyk V. M. Network emulation for java-based applications through socket factories [Електронний ресурс] / V. M. Melnyk, K. V. Melnyk, O. K. Zhyharevych // Комп'ютерно-інтегровані технології: освіта, наука, виробництво. - 2014. - № 14. - С. 87-91. - Режим доступу: http://nbuv.gov.ua/UJRN/Kitonv_2014_14_14 | |||
| 18. |
Melnyk K. V. Decision support technology for sprint planning [Електронний ресурс] / K. V. Melnyk, V. N. Hlushko, N. V. Borysova // Радіоелектроніка, інформатика, управління. - 2020. - № 1. - С. 135-145. - Режим доступу: http://nbuv.gov.ua/UJRN/riu_2020_1_16 Описано актуальний процес планування розробки програмного забезпечення, проблем планування і різні рішення цих проблем на основі використання методології Scrum. Мета даної роботи - розробка технології для вирішення задачі планування спринту в умовах невизначеності і можливих ризиків з точки зору розробки програмного забезпечення. Описано найбільш використовувані моделі життєвого циклу програмного забезпечення. Обгрунтовано вибір Scrum, як найбільш часто використовуваного представника гнучкою методології розробки програмного забезпечення. Проведено аналітичний огляд методів оцінки складності для історій користувача. Виділено основні проблеми планування спринту. Розроблено модель бізнес-процесу для реалізації ІТ-проекту по Scrum у вигляді BPMN-діаграми. Розроблено алгоритм вирішення проблеми планування Sprint Backlog в умовах невизначеності. Розглядається загальний процес вибору для користувача історій з Product Backlog для Sprint Backlog і шляхи вирішення можливих проблем. Формалізовані задача оцінки трудомісткості історій користувача і задача оцінки ризиків при плануванні. Була розроблена технологія вибору історій користувача для Sprint Backlog. Проведено чисельні дослідження технології підтримки прийняття рішень, яка була запропонована в статті. Це дозволяє пропонувати її в якості практичного інструменту при плануванні спринту. Запропоновано метод оцінки адекватності запропонованої технології. Обрано набір ключових показників ефективності для оцінки продуктивності команди. Розроблена технологія планування спринту, яку можуть використовувати керівники проектів, власники продуктів і команди розробників для підвищення ефективності процесу прийняття рішень. Висновки: проведені експерименти підтвердили значимість запропонованої технології підтримки прийняття рішень і позволя рекомендувати її для практичного використання при плануванні програмних проектів. Наукова новизна полягає в поліпшенні процесу планування спринту за допомогою запропонованої технології, яка усуває невизначеність при визначенні трудомісткості користувальницьких історій і скорочує час, що витрачається на прийняття рішень.Описано актуальний процес планування розробки програмного забезпечення, проблем планування і різні рішення цих проблем на основі використання методології Scrum. Мета даної роботи - розробка технології для вирішення задачі планування спринту в умовах невизначеності і можливих ризиків з точки зору розробки програмного забезпечення. Описано найбільш використовувані моделі життєвого циклу програмного забезпечення. Обгрунтовано вибір Scrum, як найбільш часто використовуваного представника гнучкою методології розробки програмного забезпечення. Проведено аналітичний огляд методів оцінки складності для історій користувача. Виділено основні проблеми планування спринту. Розроблено модель бізнес-процесу для реалізації ІТ-проекту по Scrum у вигляді BPMN-діаграми. Розроблено алгоритм вирішення проблеми планування Sprint Backlog в умовах невизначеності. Розглядається загальний процес вибору для користувача історій з Product Backlog для Sprint Backlog і шляхи вирішення можливих проблем. Формалізовані задача оцінки трудомісткості історій користувача і задача оцінки ризиків при плануванні. Була розроблена технологія вибору історій користувача для Sprint Backlog. Проведено чисельні дослідження технології підтримки прийняття рішень, яка була запропонована в статті. Це дозволяє пропонувати її в якості практичного інструменту при плануванні спринту. Запропоновано метод оцінки адекватності запропонованої технології. Обрано набір ключових показників ефективності для оцінки продуктивності команди. Розроблена технологія планування спринту, яку можуть використовувати керівники проектів, власники продуктів і команди розробників для підвищення ефективності процесу прийняття рішень. Висновки: проведені експерименти підтвердили значимість запропонованої технології підтримки прийняття рішень і позволя рекомендувати її для практичного використання при плануванні програмних проектів. Наукова новизна полягає в поліпшенні процесу планування спринту за допомогою запропонованої технології, яка усуває невизначеність при визначенні трудомісткості користувальницьких історій і скорочує час, що витрачається на прийняття рішень. | |||
| 19. | 
Borysova N. Information system for automated creation and analysis of social network messages corpus [Електронний ресурс] / N. Borysova, K. Melnyk, V. Melnyk // Проблеми інформаційних технологій. - 2019. - № 1. - С. 48-57. - Режим доступу: http://nbuv.gov.ua/UJRN/Pit_2019_1_7 | |||
| 20. | 
Cherednichenko O. Development of agent-oriented software components to retrieve the marketing information from the web [Електронний ресурс] / O. Cherednichenko, K. V. Melnyk, S. V. Kirkin, D. V. Sokolov, O. M. Matveiev // Вісник Національного технічного університету "ХПІ". Серія : Системний аналіз, управління та інформаційні технології. - 2018. - № 22. - С. 37-44. - Режим доступу: http://nbuv.gov.ua/UJRN/vcpisa_2018_22_8 | |||
| ||||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |